Batch-download manager